Refine

Refine[expr,assum] gives the form of expr that would be obtained if symbols in it were replaced by explicit numerical expressions satisfying the assumptions assum. 

Refine[expr] uses default assumptions specified by any enclosing Assuming constructs. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.